paned: Set accessible value properties
authorMatthias Clasen <mclasen@redhat.com>
Sun, 11 Oct 2020 15:30:54 +0000 (11:30 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 12 Oct 2020 19:10:40 +0000 (15:10 -0400)
This is what we did in GTK 3.

gtk/gtkpaned.c

index 8ac244d4836dd0afbd96608acceea39bee193505..929779a39a38efe6366d774d6089861d7c9323d3 100644 (file)
@@ -1385,6 +1385,14 @@ gtk_paned_size_allocate (GtkWidget *widget,
 
       gtk_widget_set_child_visible (paned->handle_widget, FALSE);
     }
+
+  gtk_accessible_update_property (GTK_ACCESSIBLE (paned),
+                                  GTK_ACCESSIBLE_PROPERTY_VALUE_MIN, 0.0,
+                                  GTK_ACCESSIBLE_PROPERTY_VALUE_MAX,
+                                      (double) (paned->orientation == GTK_ORIENTATION_HORIZONTAL ?  width : height),
+                                  GTK_ACCESSIBLE_PROPERTY_VALUE_NOW,
+                                      (double) paned->start_child_size,
+                                  -1);
 }